package com.googlecode.kipler.satisfiability.completion.strategy;

import com.googlecode.kipler.container.dl.WorldConstraintSystem;
import com.googlecode.kipler.satisfiability.reasoner.Reasoner;
import com.googlecode.kipler.satisfiability.reasoner.ReasonerException;


/**
 * 
 * @author İnanç Seylan
 *
 */
public interface CompletionStrategy {
	public void setReasoner(Reasoner reasoner);

	public Reasoner getReasoner();

	public void apply(WorldConstraintSystem currentWcs) throws ReasonerException;
}
